A Slotted Hash Cons for Alpha Invariance
philipzucker.com·11h·
Discuss: Hacker News
λLambda Encodings
Logic Engines: Building Smarter AI with State-Based Truth Tables by Arvind Sundararajan
dev.to·14h·
Discuss: DEV
🔧Hardware Verification
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·20h
🔗Topological Sorting
Greyscale-box test-driven development
blog.ploeh.dk·10h
🧪Property-Based Testing
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧮Z3 Solver
Efficient Polynomial Identity Testing Over Nonassociative Algebras
arxiv.org·1h
🧮Algebraic Datatypes
Genkit Go 1.0: Google brings stable AI framework to the Go ecosystem
heise.de·11h
🏛️Agda
Balance between refactoring and inheritance in your code
github.com·17h·
Discuss: Hacker News
✅Format Verification
Pre-viva Talk - 02/10/2025
informatics.ed.ac.uk·16h
🤖Grammar Induction
Reasoned Safety Alignment: Ensuring Jailbreak Defense via Answer-Then-Check
arxiv.org·1h
💻Local LLMs
What is Algebraic about Algebraic Effects?
interjectedfuture.com·13h
✨Algebraic Effects
The Rise of Semantic Entity Resolution
towardsdatascience.com·1d
📄Semantic Chunking
Automated Data Lineage Reconstruction via Multi-Modal Graph Analysis & HyperScore Validation
dev.to·10h·
Discuss: DEV
🔗Data Provenance
Linkage
11011110.github.io·13h
📐Linear Algebra
How to Debug Chez Scheme Programs (2002)
scheme.com·8h·
Discuss: Hacker News
📜Proof Carrying Code
Compartmentalised Agentic Reasoning for Clinical NLI
arxiv.org·1d
🔢Denotational Semantics
ECMAScript TC39 proposal-pattern-matching
github.com·15h·
Discuss: Hacker News
🔤Type Theory
Semantic Dictionary Encoding
falvotech.com·14h·
Discuss: Hacker News
🌀Brotli Dictionary
Arguzz: Testing zkVMs for Soundness and Completeness Bugs
arxiv.org·1h
🧮Z3 Solver
An Interpretable Benchmark for Clickbait Detection and Tactic Attribution
arxiv.org·1h
⚖️Feed Ranking